abstract interpretation
抽象解釈
model checking
Symbolic simulation
Symbolic execution
List of tools for static code analysis — contains both abstract-interpretation based (sound) and ad hoc (unsound) tools
Static program analysis — overview of analysis methods, including, but not restricted to, abstract interpretation
Interpreter (computing)
/suto3/google.iconabstract interpretation
/suto3/Google画像検索.iconabstract interpretation
/suto3/Google定義検索.icon abstract interpretation
/suto3/wikipedia.iconabstract interpretation
/suto3/weblio.icon abstract interpretation
/suto3/kotobank.icon abstract interpretation
/suto3/jisho.icon abstract interpretation